Thousands of US troops arrive in Red Sea amid ratcheting Iran tensions