Watch: Over 3,000 U.S. sailors and Marines arrive at the Red Sea amid Iran tensions