Police and park rangers in northern Australia worked through the night looking for a missing boy who was snatched by a crocodile Sunday.
Two crocodiles have been shot in the search for the missing 12-year-old, but an analysis of the reptiles' stomach contents revealed no trace of the boy, according to Police Sergeant Stephen Constable, who spoke with reporters.
"We're going to continue the search today," Constable said Monday, according to the BBC.
The boy was snatched by the crocodile while swimming with friends in a water hole in Kakadu National Park Sunday afternoon.
Another boy was also mauled by a crocodile while swimming with his friend, but he was able to escape. That boy is back with his family, but did suffer lacerations to his arms, according to Katherine Gregory of Australia's ABC News.
"As far as we know, he's in an OK condition and he's been able to give police a little bit of information about what happened, as did the other boys that were playing there and actually saw the incident," Gregory said.
Speaking with reporters, Constable said that they planned to have an expert assess the bite marks on the boy to determine how large the crocodile was, which will help rescue workers distinguish the crocodile in question among the many that are in the park's waters. Saltwater crocodiles can grow up to 7 meters long (23 ft) and can weigh more than a metric ton.
Crocodiles are common in the national park, which is 171 km (106 miles) southeast of Darwin. Visitors to Kakadu are urged to exercise caution when in the park, as crocodiles there have been responsible for a number of fatal attacks over the years. Scenes from the popular Crocodile Dundee movies were filmed at the park.
About a year ago a teenager had to fight off a 5-meter-long crocodile in the same location as Sunday's incident, Gregory reported
"It's obviously a bit of a dangerous spot," she said, adding that locals and park visitors are regularly warned of the danger of crocodiles.
The summer wet season is underway in Australia at the moment, which Gregory reported is the most dangerous time to be swimming in creeks and water holes.