WSJ: “China’s 40 year boom is over”