What is the abbreviation for Haleakala national park?

Looking for the shorthand of Haleakala national park or how to abbreviate it? We have 2 shorthands for Haleakala national park.