A lake in the Himalayan region formed where the river flowing from Lake Anotatta plunges through the air onto the rock Tiyaggala, hollowing out a basin fifty leagues wide.