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