3,000 US Military Arrive in the Red Sea Amid Tensions With Iran