who starred in the movie the old man and the sea