Trump’s ‘buy’ tip on social media before his tariffs pause made money for investors who listened