Public Buildings and Grounds Office. Executive order [that all employees of office, except park police, shall be entitled to half holiday on Saturday during July-Sept.].