What’s in a name?

The Spanish christened it Ojo Caliente de las Palomas, then it was shortened to Palomas Hot Springs, and then simply Hot Springs because of the naturally occurring hot springs along…