The official name of North Korea is Democratic People’s Republic of Korea. The constitution, too, promises that the administration of…