North Korea
The term “North Korea” means the Democratic People’s Republic of Korea.
Source
22 USC § 9202(11)
Scoping language
In this chapter
Is this correct?
or