“Whether Earth was deliberately terraformed, in other words, or whether it was seeded with the spores of life from crashed comets or whether, indeed, life arose here spontaneously and accidentally, it is reasonable to hope that we might find traces of the same kind of process on Mars.”