Hong Kong tourism in Dec. 2018.