Lava
A lava tube is a natural channel formed in flowing lava. The lava continues flowing under the tube's upper surface. Later, when the lava is cooled and solid, the tube remains as a feature in the landscape.