Rijkswerf reportage gedenksteen in de sluis in het Dokkanaal 18 april 1859, zie archief nr. Q1-1390, Den Helder 1972
Nederlands Instituut voor Militaire Historie