Topic summary
District of Mauritius
Extracted from the Wikipedia article Districts of Mauritius.
Autonomous region and Villages
Rodrigues used to be the tenth district of Mauritius, until the island gained autonomy in 2002. Its capital is Port Mathurin.