ALLEN, Texas, EE.UU. (AP) — Policía: Tiroteo en mall en área metropolitana de Dallas dejó 9 muertos y varios heridos.