शहीद रवि सिंह की हुई अंत्येष्ठि, आतंकवादियो के साथ मुठभेड़ में हुए थे शहीद