海渊通常以发现的船只命名，目前马里亚纳海沟的（）海渊，深11034米，为已知海底最深点。