Supervise their outdoor playtime carefully, and if you see the mean stray come around, chase him away. I think animal control could also help you somehow, but I really don't know for sure, make some phone calls. Your vet may have some relevant phone numbers, or possibly the local animal shelter. Good luck!