El Mencho wurde bei einer Militäroperation getötet.