these aren’t boom times for American armsmakers