PRESIDENTIAL NICKNAMES: "Ten-Cent Jimmy", as well as "Old Buck"