What (if anything) should America and the world do if China goes in guns blazing and brutally shuts down the HK protests? Let's put death toll at the 10K-ish level.