A concise history of Dutch Mauritius, 1598-1710