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.