Just before Donald Trump's tariff pause, some options traders made big bets. These bets paid off when the market jumped. Now, ...