A Mystery Trader Made $400k Betting on Maduro's Downfall