October – a much higher figure than the 3,000 North Korean soldiers South Korean