CBS News: Paris knife attack: Police employee kills 4 officers in knife attack at Paris police headquarters, union official says.
https://www.cbsnews.com/news/paris-knife-attack-man-kills-officer-in-knife-attack-at-paris-police-headquarters-today-2019-10-03-live-updates/?ftag=CNM-00-10aag7e