Armistice Day. Making Armistice Day legal holiday, report to accompany H. R. 6056 [making 11th of November in each year legal holiday]; submitted by Mr. Healey.