20190811 world.south-asia: New-found Nepal lake may be world's highest