slightly less than 3.5 times the size of Texas