韩国造船公司市值多少亿元了