Chagos Islands: How to ensure their coral reefs aren't damaged as they return to Mauritius

The UK has agreed to transfer sovereignty of the largely uninhabited Chagos archipelago to Mauritius. The islands have been known as the British Indian Ocean Territory since being administratively detached in 1965 from what was then the colony of Mauritius. Except for the US military base on Diego Garcia at the southern tip of the archipelago, the islands have been uninhabited since 1973.