China’s Olympic athletes travelled from the mainland to Hong Kong