Hmm, guess the next democrat administration has the perfect excuse to use to remove Trumps name from things. "DEI"