Economic report on North Korea, nos. 157-158; JPRS 30956, 31121.

Tools