The World Factbook (1982)/Korea, North

