but a lengthy cave—a volcanic tunnel forged by an ancient lava flow. Lava tubes and caves exist on Earth, and they have provided refuge to voyaging humans from intense weather for almost 10,000 ...