US carrier build-up in the Gulf

A US official said ships carrying roughly 9,000 additional sailors and Marines, including a third carrier group, were heading towards the Middle East. Three carriers could be present by late October. The deployment does not establish that Washington has decided to launch further strikes.