Derecktor Shipyards completes world's largest yacht lift with 73m Coral Ocean