 to go to North Korea. It is traditional for the North Korean leaders to make the visits. And Kim Jong-un, of course, has made two in the last few years. He was there last year and he was in Russia in, I think it was 2019 before the pandemic. This Putin visit trails by a few months the announcement that North Korea would become a supplier for the Russian army. Is North Korea in that regard a handy outlet, a useful supplier?