It's less than a week miners dumperino so what's the deal?
Every week there are 25000 coins mined and dumped. You will not even notice the hacked coins being dumped, so don't wet yourself over it.
The outsized and constant mining and dumping is much more harmful to the price than this theft could ever be.