Aeropuerto Internacional de Tocumen registra récord al procesar 17.8 millones de pasajeros en 2023