(MORE TO FOLLOW) Dow Jones Newswires

December 10, 2023 19:30 ET (00:30 GMT)