Mauritius — male given name