Concise history of Hong Kong