“November 11, observed in the United States in honor of veterans of the armed services and in commemoration of the armistice that ended World