25 Mexican National Guard troops left dead during an operation that killed cartel leader ‘El Mencho’