News_ Bancor (Decentralized Exchange) gets hacked for $13 M