San Antonio is a city in Texas.