Government officials and employees. Payment of per diem employees of United States for legal public holiday declared Nov. 11, 1921, report to accompany H. J. Res. 256; submitted by Mr. Nelson.