I don't agree with killing them. It doesn't bring anyone back and doesn't prevent future human deaths.
It's terribly sad for those who are affected, but ultimately it happened because a shark was being a shark. . We shouldn't punish them according to a moral and legal code that they have no idea about! We take a risk every time we enter their domain.