the border war between India and China