In which year was the colonel who was the subject of the documentary The Man Who Saved the World, born?