Apparently those 40 or so soldiers will stay in the Gulf.