Lava tubes are hollow tunnels left behind after lava drains away — some are big enough to walk through.