I say we just knock Mars into Venus's orbit, and Venus into Mars's orbit. Venus will cool down, and Mars will warm up, and the closer orbit may even kick start Mars's core and strengthen its magnetic field. In only 5,000-10,000 years we could have two new local planets to move to. Just need to...