Store-houses for arms; dock-yards, magazines, and other military stores