Story of the launching and life of the R/V Hollis Hedberg, a seismic research vessel owned and operated by Gulf Oil in the 1970's and 1980's