Záhadné díry na Marsu mohou být důležité pro kolonizaci rudé planety