Panama city, panama airport code