hong kong dollar-denominated