Gross domestic product: September 2023 quarter