Gross domestic product: June 2025 quarter – update