Martian lava tube
Martian lava tubes are volcanic caverns on Mars that are believed to form as a result of fast-moving, basaltic lava flows associated with shield volcanism. Lava tubes usually form when the external surface of the lava channels cools more quickly and forms a hardened crust over subsurface lava flows.