大洋中的海沟主要分布在什么板块