what is the name of the iata airline designator for airline tap portugal?
(AND aviation.iata_airline_designator (JOIN aviation.iata_airline_designator.airline m.01x17s))