Ventura County v. Gulf Oil Corp., 601 F.2d 1080 (9th Cir. 1979), aff'd, 445 U.S. 947 (1980)