Hot Springs is a city in Arkansas.