the use of the hispanicized name of the city san miguel del oeste