Phoksundo, a mountain lake in Dolpa