TRANSOCEAN HOLDING CORPORATION