Mauritius tourist arrivals show 9.3% growth