A Concise History of Dutch Mauritius, 1598-1711