the Republic of Texas