GDX (GDX): which tracked investors hold it, and what they filed