What were the prevailing hypotheses regarding the depth of the ocean (and, indeed, whether there even was a bottom) before the invention of reliable bathymetry?