“In 1980, President Jimmy Carter announced the Carter Doctrine, which stated that any attempt by an outside force to gain control of the Persian Gulf region would be regarded as an assault on the vital interests of the United States.”