drain a canal for dredging

• empty the water from a canal in order to deepen it with a dredging machine