$13.1 Million Stolen in Grinex Cyberattack as Trading Halts