Military service. Executive order, administration of benefits, [to certain personnel of Army], provided by act, approved Apr. 3, 1939.