At Least 9 Dead, Including Gunman, in Shooting at Texas Mall. Allen, Tex, Mall Shooting (May 2023), Shopping Centers and Malls, Allen (Tex), Allen Premium Outlets (Allen, Tex), Garcia, Mauricio (d 2023)