Trump Tried to Rename the Kennedy Center. A Judge Stopped Him.