slightly smaller than Texas