who served as vice president during james earl carter, jr.?
(AND government.us_vice_president (JOIN government.us_vice_president.to_president m.042kg))