What did Victor Beaumont play in the British 1965 Eastman Color war film directed by Anthony Mann based on the true story of the Norwegian heavy water sabotage during World War II?