To change the name of Veterans Day is to dishonor those who gallantly served in the wars that Trump didn’t mention — Korea, ...