Texaco Overseas Petroleum Co. & Cal. Asiatic Oil Co. v. Gov’t of the Libyan Arab Republic, 17 I.L.M. 1 (1978)