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