If they weren't unable to export to the west they could probably make enough money from selling them back to allow them to pay off the debt, not that they probably would with all the people starving and that. They're apparently still the main Taxi in Pyongyang.