जम्मू-कश्मीर के शोपियां जिले में मुठभेड़ में दो आतंकी ढेर\, खुफिया सूचना मिलने के बाद चलाया गया था तलाशी अभियान