Mauna Kea Observatory at the summit