Is the water fed by a hot spring?

The spring comes out at 71.5°F all year round

It's a nice cold swimming hole, nowhere near hot.

They are fed by underground springs and stay a constant temp, I believe around 73°. It was in the 90's when we went and the water was still ice cold.

I don't know about that but it's ice cold

Yes