Statistics for Historic Kandy lake and Colombo's `Beira' lake-then and now