Anchor damage to a coral reef on the coast of Florida