MIAMI -- A Florida man police said was breaking into cars at Miccosukee Resort and Gaming was attacked and killed by a 9-foot alligator while trying to run from police.

Investigators said officers responded to reports of car break-ins at a Miccosukee Indian Reservation parking lot located at 500 S.W. 177th Ave. in Miami.

One of the men was quickly captured by officers during the incident last week but the other robbery suspect tried to elude officer by jumping into a large pond behind the facility, according to a WJXT-TV report.

During the swim, police said, an alligator attacked and killed the man. He was apparently bitten on the head several times.

The victim's body was recovered at the bottom of the pond about a day after the reported break-ins.

The men were not identified in the report.

Meanwhile, an alligator believed responsible for attacking and then killing the man was captured and transported to All American Gator in Pembroke Park.

"Some alligators just have a nasty disposition and he was just a nasty gator," owner of All American Gator Brian Woods said. "He seemed to have no fear of people."

The alligator is being kept in storage until the medical examiner's office can inspect the reptile, a trapper said.

Miccosukee employees said the alligator was well-known on the reservation and was given the nickname "Poncho."

"Anytime an alligator digests or even kills a person, it is a state law through the Florida Fish and Game that the gator be destroyed," Woods said.