Hard times for North Korean mines, and miners http://t.co/EDV0wON9yn