Danau Jempang pada masa Hindia Belanda