Why not short $ HKD as a proxy - it is a floating currency within a band but it is right at the top of the band so v little currency risk in shorting the dollar unless they devalue, not revalue, the HKD. The funding cost is just 3.2 pips per day but you could just short the dollar on a Friday...