Yes. If the dog got out again it would go hunting for children again. No one trained it to do that and no one can train it not to do that. It’s not a pet. It’s a weapon and it needs to be put down.
I've been telling people that for decades.
The Pit Bull terrier is an exotic breed of canine that can't be domesticated like other breeds. It should be regulated much the same as other dangerous animals that require special licensing to own.