A Lake That Had to Be Dug ↗A 1950s canal, a 1970s reservoir, and the shoreline that became a hot-spring resort.