What day every year on 11 November marks the armistice signed between the Allies of World War I and Germany at Compiègne, France, it also coincides with an official United States public holiday, observed annually on November 11, that honors military veterans?