By the way, the gross domestic product of Texas is at least three times that of North Korea.
Don’t mess with Texas.
It’s good advice.
RE: By the way, the gross domestic product of Texas is at least three times that of North Korea.
From Googling.
GDP of North Korea — $32.7 Billion USD
GDP of Texas — $1.142 TRILLION
Texas’ GDP is THIRTY TIMES larger than North Korea’s.
The GDP pf the State of Texas is just about the same as South Korea’s even with just almost HALF of South Korea’s population.