“Ocean, n. A body of water occupying about two-thirds of a world made for man—who has no gills.”