The completion of drilling for “Shenditake 1,” the world’s second deepest vertical