Pentagon wants to predict anti-Trump protests using social media surveillance