The president’s name was added to the building’s façade on Friday, one day after his handpicked board voted for the name change.

AAA projects 8.03 million Americans will take domestic flights this holiday season—a record—and 2.3 percent increase from last year.