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