Question: What is one of the previous names of this reservoir?
Relevant Wikipedia article: https://en.wikipedia.org/wiki/Lower_Peirce_Reservoir