जम्मू कश्मीर के शोपियां में सुरक्षाबलों और आतंकियों के बीच मुठभेड़, 4 आतंकी ढेर, सर्च ऑपरेशन जारी