Just verified: Texas is larger than Spain and Portugal combined!