The Dutch term "marine" matches the English term "navy"