president of the united states in seville