Brunei Darussalam contre Hong Kong, China