heter , att 12,000 man kinesiska trupper afgått till Korea.