Benicia Arsenal. Executive order, withdrawal of public land for addition to Benicia Arsenal military reservation, Calif.