what is the name of a meteorite from red planet?
(AND astronomy.meteorite (JOIN astronomy.meteorite.source_celestial_body m.09cws))