Highly siderophile element (HSE) abundances in the mantle of Mars are due to core formation at high pressure and temperature. (6th January 2015)