World’s leading marine-mining vessel sets sail