bibliographic details: 老人与海