guvernör Hayes ( Ohio ),