More than $13 million stolen from DeFi platform Deus Finance