(END) Dow Jones Newswires

October 17, 2023 11:40 ET (15:40 GMT)