Only thing I ever had to kill was a Pit Bull.
Once it attacked me in my own back yard and I was barely able to get it to back off by repeatedly whacking in on the head with a shovel I realized it was an existential danger to the children in the neighborhood.
I borrowed a semi-auto 45 from a friend and he showed me how to use it.
The next encounter in my yard ended with me using the same shovel to bury the phuking monster.
I’m not proud of it, but I would do it again if required.
Woman across the street is a “Dog Trainer” even though she does not exercise them a wit and comes out and yells at them. She has two of the nastiest pits I have seen in my life. I don’t mow unarmed. Pits can be good dogs if raised right and there excess energy worked off. It is like I tell my wife, you need a license to raise a kid, a rot, a pit, a wife... etc. The mutual SEG is funny.
You did the right thing.
Keep your powder dry.