Mysterious trader bets millions ahead of Trump's 4PM executive order