For those uninitiated in scientific ocean drilling, the previous record was a little over 4 km.对于那些不熟悉科学大洋钻探的人来说, 之前的纪录是4,000米多一点。