પીટીઆઈ અનુસાર માર્યા ગયેલા આતંકીઓમાં આઈએસજેકેના વડા દાઉદનો પણ સમાવેશ થાય છે.