Le Mexique déploie 10 000 soldats à la frontière avec les États-Unis