I think this is Lava Lake, the goal of our hike. But I am not sure.