Trump is pulling out of one of the most successful arms-control treaties ever