I hope that your dog is ok.
We were less fortunate with Charlie (who died recently aged 12) when he was only an 11 month old puppy. He was attacked by a German Shepherd for no reason when he was on the lead down the park.
Unfortunately, he was totally covered in bite marks and he lost his right eye which had to be removed and sewn up.
The police were not interested as the law in the UK only covers attacks on humans. The owners of the dog paid the vets bills, but still carried on taking that awful dog loose down the park. :sl*p: Charlie adapted well, but was very nervous of any dog bigger than him.