Advances in terrestrial drilling : ground, ice, and underwater /: ground, ice, and underwater. (2020)