U.S. Boosting troops in Gulf to counter Iran.