Scientific ocean drilling bibliographic database. (American Geosciences Institute, 2020)