What is the abbreviation for Hato international airport willemstad curaçao?

Looking for the shorthand of Hato international airport willemstad curaçao or how to abbreviate it? We have 2 shorthands for Hato international airport willemstad curaçao.