Convention for the prevention of marine pollution by dumping from ships and aircraft. Oslo, 15 February 1972.