A giant collision in Mars’ early history created a global magma ocean and buried large fragments of debris deep within the young planet. As Mars cooled, it formed a solid crust — eventually becoming a ...