You might still come across both versions, but the official name of the boom town is Sant Antoni Abad (San Antonio in Castilian or Abbot St. Anthony in English).
268059
Both versions may be seen, though only one of them is official.
268060
Only one version, the official version, is used there.