Will Trump’s name return to the Kennedy Center facade?