Our country has a rich history of presidents, and after 45 of them, their names are a gold mine of puns. Too bad puns don’t count in the treasury! Read on