MAURITIUS, REPUBLIC OF MAURITIUS