Texas (Greater Colombia)

Texas includes, more or less, OTL Texas and eastern New Mexico.