Does Dell sell to China? Did China sell the Dell computers to N. Korea or did N. Korea buy directly from Dell?
A statement from Dell headquarters in the USA should be forthcoming. They should (or better have) an explanation.