what is the meteorite that is known for coming from red planet?
(AND astronomy.meteorite (JOIN astronomy.meteorite.source_celestial_body m.09cws))