This maybe a nothing burger. Congress is in charge of passing legislation for federal holidays and the president would have to sign it. Even if congress changed the makeup of Veterans Day, college campuses will ignore it like they presently do for Veterans Day..
Congress is supposed to do a lot of things that the Pres signs, but that doesn’t mean Trump won’t just declare everything under severe distress and use EOs for it as with everything else.