The guide to the Democratic People’s Republic of Korea has ended