Outbreak of coral disease in Puerto Rico