They did not even come to the US.
They were remote workers, trained by N Korea to work as IT workers specifically to make big paychecks so Pyonyang could make some money.

2 Likes