“Trump has repeatedly said he might use the military to suppress a domestic protest, or to raid a sanctuary city to purge it of undocumented immigrants, or possibly defend the Southern border. Some in the military community say they are especially disturbed by the prospect that troops might be used to serve Trump’s political ends.”