The Dutch term "mijnenlegger" matches the English term "minelayer"