There is a pedestrian walking path that goes full loop around this lake. I've noticed when attempting to create routes in Strava this path is not a usable one and they suggested reaching out through Open Street Map to get it marked as such. 