$400,000 in hours: Trader hits jackpot betting Trump would attack Venezuela – here’s how they did it