“The United States will likely need to maintain a naval carrier strike group in the Persian Gulf for an extended period to deter future Iranian aggression in the Strait of Hormuz.”