US government shutdown would increase Pentagon’s weapons costs