Originally a unit of volume equal to 40 cubic feet; see: ton [5]. More recently, another name for the revenue ton