Mars has been colonized, and Earth