Six years ago, the United States drew a line on Hong Kong. That line just quietly disappeared. Summary from source