ڈیرہ اسماعیل خان میں سیکیورٹی فورسز کی کامیاب کارروائی، 4 دہشت گرد ہلاک