On February 17, the US celebrates President’s Day, which since 1971 has been fixed to third Monday in the month. The date, not coincidentally, falls between the birthdays of Abraham Lincoln and George Washington, respectively. Holiday aside, the elections of