船の大きさを表す「〇トン」、実は…トントンと叩いた時の音が由来だった