Is there any cities in the us named Antonio?

There is one city named SAN Antonio, Texas.