On Betting Against the Hong Kong Dollar