martin vanburen was the vice president of which us president?
(AND government.us_president (JOIN government.us_president.vice_president m.04_0m))