The gold miners’ stocks weathered the recent stock-market plunge really well. As evident in their leading GDX ETF, they were already beaten down before stock markets started falling.