The economics of coal trade, sanctions, and rice prices in North Korea