https://wpanews.net/2022/06/14/police-in-the-dallas-area-kill-a-gunman-who-entered-a-summer-camp-for-kids-npr/
Police in the Dallas area kill a gunman who entered a summer camp for kids : NPR