[WP] Mars was the old Earth. Humanity damaged it so badly that we had to send two large colony vessels to continue human life - one with males, one with females, called Adam and Eve respectively. Adam is the vessel that wiped out the dinosaurs, with Eve arriving later.