J&K: 1 policemen martyred in anti-terror operation in Tral