you'll find people in the thread saying that if its accessible in texas, its in Texas

under that setup, yes, twxas is illegally breaking US sanctions against north korea