That second video doesn't show pumps, that shows valves. They let water flow down and only down. The video even explicitly calls out that the canal's locks drai

That second video doesn't show pumps, that shows valves. They let water flow down and only down. The video even explicitly calls out that the canal's locks drain the lake, which has been nearly catastrophic at least once before.