Record dive to the bottom of the Mariana Trench