US to maintain 35,000 troops in Gulf region: Hagel