Here’s where U.S. troops are stationed in the Gulf.