This last Saturday at a shopping mall in Allen, TX, near Dallas, a gunman was shot dead after he shot and killed 9 and injured many others.