Gee Caj, why would we send a Seal. We'd just send a Texas Ranger to go pick him up.
Them North Koreans DO NOT want to start trouble with Texas (just ask Mexico). You think Texas Men are "Fighters"? Just get on the wrong side of a Texas Gal !
A Texas Granny is a Force of Nature and one best left undisturbed.
Just tell them that Texas is located IN Washington DC.