actor: John Frankenheimer