Washington DC real estate market