Claude Lanzmann’s last trip to North Korea