What army did North Koreans serve in during the civil war