> let's point out here that Korea trades a lot with China and China exports a fair amount to other countries.. North Korea's exports around $3 billion per year

> let's point out here that Korea trades a lot with China and China exports a fair amount to other countries.. North Korea's exports around $3 billion per year, putting it in the bottom one-third of all trading nations. Of that just under half was in terms of coal supplied to China accounting for a small percentage of Chinese coal consumption. Their other primary exports were weapons & small-arms, statues ( to order! ), illegal drugs and clothing which is thought to be relabelled as 'Made in China' for resale. So whilst it might not be impossible to avoid a Chinese-made product that used some electricity derived from North Korean coal, there's really no difficulty avoiding products made in North Korea and no hypocrisy in avoiding travel there.