Barack Obama was a U.S. president.