Email Record: Redesignating Nov. 11 of Each Year As "Veterans Day" and to Make Such Day a Legal Public Holiday.