What we know about the killing of Mexico’s ‘El Mencho’