Three children among victims of Allen mall shooting in Texas