An August morning at Elephant Rock State Park