Crocodile that lunged at children is shot and cooked for local residents

A “problem” crocodile that was stalking both adults and children has been shot and cooked for a local Aboriginal community, police in Australia have said.