The Wall Street Journal: Samsung temporarily halts Galaxy Note 7 production