Butcher of Waco is gone