Donald Trump stuurt 5200 manschappen naar de grens met Mexico. Het gaat onder meer om gewapende militairen, zei een generaal op een persconferentie in Washington.