Government officials and employees. Executive order [directing that employees of Federal Government and of District of Columbia shall not lose their pay for holiday on Nov. 11, 1921, granted by proclamation of Nov. 4, 1921, declaring Armistice day, 1921, legal public holiday].