“At the end of the first Trump administration, North Korea was estimated to have the capacity to produce enough fissile material for about six nuclear bombs per year.”