Marines compose a branch of a country's navy, often designated a corps rather than a service. Marines are naval infantry, specialising in fighting on ships and conducting amphibious assaults[?].
The Royal Netherlands Navy is called Koninklijke Marine in Dutch, not to be confused with the Royal Netherlands Marine Corps (also called Dutch Marine Corps[?], in Dutch Korps Mariniers), which is part of it.
All Wikipedia text
is available under the
terms of the GNU Free Documentation License