Are those the only options? lol.

I just looked it up, and I'm honestly struggling to find a good source (Google really sucks nowadays), but it seems like there are very few North Koreans coming to/living in the US, like way less than even I would've thought

I stand by it being silly. If somebody doesn't know about the history/politics of the US and NK than sure it'd totally be fair to ask where a Korean is from since pretty much everyone should at least know there's two. lol. But, if you know the history and the current political situation, it's pretty silly - unless you're like at a war memorial or something.

It'd be like asking a brown latino in SoCal if they're from Guatemala. Like, sure, they could be, but 99 times out of 10 they'll be Mexican, based on so much available context.

One last thing. I hope you don't think what I'm saying is akin to prejudice or something. If it is let me know and I'll address that specifically. Definitely not saying to judge people before you've met them