20130701 india: J&K: Policeman killed in encounter