a town in texas.