Rund 800 Soldaten in Washington D.C.: Trump setzt Nationalgarde ein