what is the spanish name of the airport that serves ciudad de panamá ?
aeropuerto internacional de tocumen