“At its peak, China's residential real estate market was the highest in the world as a share of GDP.”