YES! Please please please report the dog to animal control. I'm surprised the vet already hasn't done so. I think it's law around here. If there's a dog attack of any kind (to a pet or human), it gets reported and animal control pays a visit. I think then if it happens again, dog gets put down.
Hugs to your dog!

Average, for horses with some experience at this level