A major cartel boss is dead. How did Mexican forces locate and kill El Mencho, the country’s most notorious drug lord?