Den Helder, Marine Kazerne canon van de Koninklijke Marine : geschiedenis van de zeemacht / Anne Doedens & Matthieu Borsboom