जम्मू-कश्मीर: त्राल में सुरक्षाबलों ने एक आतंकी को किया ढेर, ऑपरेशन जारी