Obama’s mixed record on nukes