El final de la formación de los planetas, contada por las trazas de elementos en los mantos de la Tierra, la Luna y Marte