The World Factbook (1990)/Korea, North

