世界上的最深的海沟——马里亚纳海沟的深度约为（）。