Civilian and military observatories on the summit of Haleakala in the Haleakala National Park, Maui County, Maui, Hawaii, USA