Проблема глубоких шахт на Земле в том, что чем глубже тем жарче из-за горячего ядра. На марсе этой проблемы нет, также как и землетресений которые могут такую шахту обрушить. В общем на Марсе пробурить 20 километровые куда проще чем на Земле.