«البنتاجون»: نشر 3750 جنديًا على حدود المكسيك