Zuiderzee Works Department: canals, locks and pumping stations