For those uninitiated in scientific ocean drilling, the previous record was a little over 4 km.

可以告诉没有海洋科学钻探知识的人，先前的纪录是四公里过一点儿。