Den Helder, Marinekazerne Erfprins Keelpoort. Helder, Marine Kazerne "Willemsoord." Hellevoetsluis Marine Cantine en Postkantoor