Gemaal Leeghwater, ingezet bij het droogmaken van de Haarlemmermeer, mei 2020