S. Korean crypto exchange Gdac hacked for nearly $13 million.