Korean survey (Korean Research and Information Office, 1952)