وكالات أنباء إيرانية حكومية تقول إن الجيش الإيراني قتل 17 متمردا في منطقة بالقرب من الحدود مع تركيا وشمال العراق.