Gun battle has ended at Kashmir army camp: Indian police