what meteorite came from red planet?
(AND astronomy.meteorite (JOIN astronomy.meteorite.source_celestial_body m.09cws))