DeepOcean Names Ex Subsea 7 VP as Its New CEO