. . . . "Public holiday in Mauritius" .