what is the name of the observatory that has a telescope platform of mountain peak?
(AND astronomy.astronomical_observatory (JOIN astronomy.astronomical_observatory.telescope_s (JOIN astronomy.telescope.operational_platform m.0388sn)))