Texas history: Republic of Texas