जम्मू-कश्मीरः शोपियां में एनकाउंटर में एक आतंकी ढेर, सेना का सर्च ऑपरेशन जारी