The mayor of Flavortown becomes US president