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.
“GDP of North Korea $32.7 Billion USD
GDP of Texas $1.142 TRILLION
Texas GDP is THIRTY TIMES larger than North Koreas.”
Heck, the GDP of North Korea doesn’t even equal Bill Gates’s personal fortune.