U.S. Military Kills Top ISIS Leader Along With Nearly A Dozen ISIS Operatives In Africa.