File:Transverse cross-section of a martian lava tube.jpg