10 ways tech is rescuing coral While this World Reef Day (1 June) is no time for complacency, PADI is at least able to offer divers two handfuls of scientific reasons