Design of the navigation and discharge channel in the tidal lake of the Delta21 project