Alligator shot, killed by police in Daytona Beach

File photo.

DAYTONA BEACH, Fla. - A Florida police officer has shot and killed an alligator after it became aggressive toward children throwing things at it.

The Daytona Beach News-Journal reports the incident happened early Friday afternoon at a retention pond. The officer was told several small children and two older ones had been throwing things at the gator.

According to the police report, the officer called a trapper who said alligators longer than 5 feet are usually put down. When another officer and a diver showed up to assist, the gator reportedly swam aggressively toward them.

One of the officers then fired a shot at the alligator's head. When they tried to pull the gator ashore, it thrashed around again and two more shots were fired.

The alligator was more than 10 feet long.

Copyright 2013 by The Associated Press. All rights reserved. This material may not be published, broadcast, rewritten or redistributed.