arsenal
Nota de aplicación
Spacious enclosures, usually adjoining a sea or river, in which ships are repaired or built, and where ships' stores are prepared or brought together. The term is often reserved for government establishments of this character.