Hadn’t heard that. Thanks for the mention.
Sorry to hear about the officer’s injuries.
https://13wham.com/news/local/rpd-officer-recovering-from-surgery-after-vicious-and-brutal-attack