Hong Kong died quietly.