IIRC, the “Roof Koreans” were second and third generation, and therefore natural-born American Citizens.
Thanks for the info. I had only heard the media call them ‘Koreans.’