La Interpol emitió una ficha roja para detener a Carlos Treviño, exdirector de Pemex.