Gulf Oil Corporation v. PANAMA CANAL COMPANY, Civ. No. 6135.

Linked as: