“The Board also voted to change the name of Roosevelt Middle School, even though no one was sure whether it was named after Theodore Roosevelt or Franklin Delano Roosevelt. Better safe than sorry. By the way, the Board does not have new names chosen for the schools. It just wants to get rid of the old ones.”
Just number them. That’s what the Soviets did, after all.
Yes, Trump should recognize it on his way out the door. It’s something he probable would have gotten around to in a second term, but he doesn’t have much time now.