He did not put himself in that tiny pool of water. People did.
He needs to be killed. Period.
We do this with bears who become problems for people. Same for killer whales. Once they get a taste for people, do not release them into the wild.