Map and aerial image locates outlet mall in Allen, north of Dallas, where a gunman fatally shot eight people before a local police officer arrived and shot him, on May 6, 2023.