Do you think they actually removed Trumps name from the Kennedy Center Building?