Should the cops that didn't engage with the texas shooter, have shot him?

Should cops shoot people?
Should the cops that didn't engage with the texas shooter, have shot him?
Post Opinion