en kinesisk styrka på 13,000 man Haitscheng,