Exploring Dianchi Lake