जम्मू-कश्मीर: सेना और आतंकियों के बीच मुठभेड़ खत्म, एक और आतंकी ढेर