Probability sampling of stony coral populations in the Florida Keys