واشنطن: وصول أكثر من 3 آلاف جندي إلى البحر الأحمر “ردًا على مضايقات إيران”