How Big Were Old Battleships