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