The Dutch term "Mauritius" matches the English term "Mauritius"