Mineral and petroleum Resources of the ocean. (U.S.Geological Survey Bulletin, 1986)