Tocumen, aeropuerto de Panamá