A map of Ruigenhoeksche Polder