REPUBLIC OF MAURITIUS