Retirement. Executive order, extending provisions of civil service retirement act to certain Federal employees on Isthmus of Panama.