death of 20 soldiers on the Indo Chinese border