Was the killing of the Dallas shooter illegal?