Trump was planning to send troops to San Francisco. Now he’s not. Here’s why