If that croc was in human areas, it should be removed. Plain and simple. And it should be removed humanely.
Now if they went and destroyed it, that's wrong. I doubt they did because they wouldn't have taken the time to tie it up etc. They could've shot it.