Exports of minerals such as lead and zinc had returned to normal levels in 2016 after a downturn in 2015 and represented perhaps a way for North Korea to mitigate some of its losses from the trade in coal.