In the minutes before President Donald Trump's social media post on Wednesday pausing tariffs sent the U.S. stock market rallying, some unidentified options traders placed bets worth millions of dollars that the market would rebound, data shows.