what extraterrestrial location is olympus mons part of?
(AND astronomy.extraterrestrial_location (JOIN astronomy.extraterrestrial_location.contains m.05q6x))