20171101 business.international-business: U.S. nuclear arsenal to cost $1.2 trillion over next 30 years -CBO