"[W]e are precluded from further advance, partly by our almost necessary ignorance of the forms of the bottom in deep seas, and partly by the imperfection of our mathematics. ...the first principles of our explanation are correct."