WSJ: Samsung verdubbelt investering in chipfabrieken Texas naar 40 miljard euro