Republic of Mauritius ($MAU) - Pump