Can't find a link but saw on teevee yesterday that after an alligator killed a kid at some Disney resort, the cops shot six alligators, apparently to teach the remaining population a lesson.