How deep is the ocean? Deeper than the highest point on Earth's surface ...