大洋中的海沟主要分布在什么地方