Illinois State Senate District 47 issued the following announcement on Nov. 11.
Major hostilities of World War I were formally ended at the 11th hour of the 11th day of the 11th month of 1918, when the Armistice with Germany went into effect.
At the urging of major U.S. veteran organizations, Armistice Day was renamed Veterans Day in 1954.
Original source can be found here.