War and Empire in Mauritius and the Indian Ocean