20141220 world.middle-east: Senior ISIS leaders killed in US air strikes in Iraq