US is to send some 10,000 troops to Iraq to provide support for a 90,000-strong force from the Gulf states