Today is Monday, November 11. It is also Veterans Day; but unlike other national holidays that have been moved arbitrarily to Monday for a long weekend’s sake, this holiday falls on November 11 no …