Samsung Heavy Industries Co., Ltd. (010140.KS) employee count and workforce trend