who was the us president john calvin coolidge's vice president?
(AND government.us_vice_president (JOIN government.us_vice_president.to_president m.01vbl))