Lake Junin, in Junin, Peru (2020).