How did we get the Republic of Texas?