20171101 world.us: US nuclear arsenal to cost $1.2 trillion over next 30 years: CBO