N. Korea 'probably' has miniaturized nukes