20160510 world.middle-east: ISIS leader killed in Iraq's Anbar province: Pentagon