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