It's sad they had to make the call to put the animals down.
I agree with the decision based on public safety and past experiences with wild animals around my area.
We have had large Cats around here for the past few years and even a few Alligators that escaped into the nearby river!

The gators died over the winter but were a VERY serious threat for some months.
I only know about the gators because it was a friend of mine that was raiseing them.
It was kept pretty hush hush or not news worthy enuff at the time?

One of the large Cats dragged a deer into the rafters of another friends barn.
I've heard of bears being spotted from time to time also.
That has not been confirmed while all the other reports have been.
I use to walk the woods around my home armed only with a camera.
Those days are gone now.
I prefer to stay at the Top of the food chain myself.