The hot spring at the hot springs district