Email Record: Declaring November 11 a legal public holiday, to be known as "Armistice Day".