Examining the proper size of the nuclear weapons stockpile to maintain a credible U.S. deterrent