Government officials and employees. Pay of per diem District Government employees, report to accompany H. J. Res. 357 [entitling all employees of United States Government in District of Columbia to pay for Monday, Dec. 24, same as any other holiday]; submitted by Mr. Williamson.