“I thank the President of the United States, Donald Trump, for restoring Columbus Day and for thus reminding us that history cannot be erased.”