[DISCLOSURE] Samsung Heavy Industries (010140) reported that it did not halt production despite a 4-hour strike by some workers, in response to Korea Exchange’s inquiry regarding media reports on the possibility, in a statement on July 7.