Adding to my frustration, I don’t think I’ve ever seen the former president called John Coolidge, Jr.
