den kinesiska styrkan till 25,000 man.