Lava-flow mine