/el-pais/aeropuerto-internacional-de-tocumen-proceso-mas-de-15-millones-de-pasajeros-en-julio-2023