an old man and the sea quote