Lava tubes are familiar on Earth. They form when the surface of a lava flow hardens while molten rock continues to drain ...