the-old-man-and-the-sea-1958-play