DC Real Estate Market: How Much Correction to Expect? | 2023 Market Update