smaller than the economy of Texas