Part of President Trump’s deployment: 400 members of the Texas Guard to Illinois