813 F2d 679 Incident Aboard D/b Ocean King on August Cities Service Company v. Ocean Drilling & Exploration Co Getty Oil Co