(END) Dow Jones Newswires

October 13, 2023 07:35 ET (11:35 GMT)