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