I don't know, I feel like that would be a logistical and administrative nightmare, especially as the population of Texas is 5 million more then North Korea, and not that many Texans speak Korean while an equally few North Koreans speak English.