The Florida Keys: a coral archipelago