https://starnationsnews.com/2020/08/11/lava-tubes-on-mars-and-the-moon-may-be-suitable-for-planetary-bases-up-to-1000-times-wider-than-those-on-earth/