What occupation did the screenwriter of Marathon man and All the President's men have before screenwriting?