Slavery, racism, discrimination – Donald Trump had references to dark chapters in US history removed. Now a judge stopped the action. History should not be rewritten “with a correction pen”.