Damaged coral reefs can recover quickly after restoration work