IAEA visit at a reactor in the Democratic People's Republic of Korea