Operação militar que resultou na morte de El Mencho contou com informações fornecidas pelos Estados Unidos