dallas police chief who guided force during sniper attack to retire