Least five alligators have been pulled from Seven Seas Lagoon at Disney’s Grand Floridian Resort & Spa, but officials have not said if the animal responsible for killing a toddler was among them.

Lane Graves, 2, and his family were lounging by the lagoon Tuesday night and the toddler was playing in the shallow water, officials said.

In a flash, the boy was attacked by an alligator and despite his father jumping in the water in an attempt to wrench the child away from the animal, it was able pull Graves under the water.

His body was found Wednesday after a lengthy search.

>>The latest on the Disney gator attack 

“This is a tough situation,” Orange County Sheriff Jerry Demings said Wednesday. “Disney is doing everything they can to make the family comfortable during this ordeal."

There are “no swimming” signs at the lagoon, but no warnings that indicate alligators could be present.

Disney has not said if it would be reviewing its beach safety and/or alligator control policies.

Beaches at all Disney resorts were closed Wednesday.

The Florida Fish and Wildlife Conservation Commission works closely with Disney to remove nuisance alligators when they are sighted, spokesman Nick Wiley said.

The search for the alligator responsible for Drake’s death will not end until the animal is found, he said.

“We are going to make certain that we have the alligator that was involved, and that we remove it from the lake,” he said.