How Mars turned red