Lake Ladora, as seen from its eastern shore