You just read:

Gulf And Discover Extend Gulf Pay Savings

News provided by

Gulf Oil

Nov 15, 2017, 08:35 ET