How deep the ocean really is