Armistice day. Declaring Nov. 11 legal public holiday, to be known as Armistice day, report to accompany H.R. 7597; submitted by Mr. Condon.