Annexation between Texas and the U.S.