slightly less than twice the size of Texas