two police personnel were shot dead