Терраформирование Марса - задача почти не решаемая.
А вот есть такой Ганимед. Спутник Юпитера. Немногим легче Земли, по имеющимся данным - полно воды, железа, никеля. Обладает собственной магнитосферой. Если его перегнать на орбиту Земли с противоположной от Солнца стороны - готовая планета земного типа.
Да, есть проблема с выстраиванием орбиты, все-таки Ганимед не идентичен Земле, но если ему подогнать еще парочку собственных спутников - может получиться.