in observance of Veterans Day.