Manual on oil pollution (International Maritime Organization, 1980)