A crackdown on the North Korean market economy?