The Republic of Texas is no more.