A combination of overwhelming force and U.S. intelligence helped Mexico kill the cartel boss known as El Mencho.