The absolute lower bound is probably domestic consumption?
Which is still a huuuuuuuuuuuuge market
Which is still a huuuuuuuuuuuuge market
But the point is that domestic consumption is not constant. It can decrease, it can substitute more basic goods. Such as potatoes.
1) https://en.wikipedia.org/wiki/Juche
2) https://en.wikipedia.org/wiki/Potato_production_in_North_Kor...