Title: A concise history of Mauritius