arsenals (300000448) 'distinguished from' armories (military buildings) (300006917);