તેની સાથે આઇએસના બીજા અમુક આતંકીઓ પણ માર્યા ગયા છે.