Skylight on a lava tube