5.4 How deep are ocean trenches such as the Mariana Trench and the Tonga Trench?