Nine asteroids that trail the Red Planet contain a material usually only formed in the mantle of rocky planets