De molen is vernoemd naar de polder die hij kan bemalen. Over de herkomst van die wat vreemde naam wordt het volgende gezegd: in een heel ver verleden zou in deze laagte in het landschap een koning van de Noormannen tijdens een slag zijn vermoord.