Question: what lake does this trail pass?
Relevant Wikipedia article: https://en.wikipedia.org/wiki/John_Muir_Trail