war between China and North Korea