Mauritius achieves independence.