Marinen som navn er utledet av marineetablissementet som lå her, Trondhjems Verft og Marineetablissement