Should the size of the U.S. nuclear arsenal be reduced?