海洋到底有多深？对于直径12742千米的地球来说，11千米的马里亚纳海沟，不过是