Question: Are both lakes, Donji Vir Lake and Bolagen, located in the same country?
Sentence (from "Hatun Jacacocha"): Hatun Jacacocha or Hatunjacacocha( possibly from Quechua" hatun" big," qaqa" rock," qucha" lake," big rock lake") is a lake in Peru located in the Ancash Region, Huari Province, Huantar District.
Relevant evidence: No