This is just an IATA (International Air Transport Association) code. IATA codes are used in aviation to identify and differentiate airports. That’s why a Havana Jose Marti Intl Airport flight would often be abbreviated as a HAV flight.