I would like to short GDX, but my broker has no shares available. Is there another ETF that is similar to GDX that could be subsituted? I can short GLD but it does not move near as much as GDX.