“The security of commercial shipping through the Strait of Hormuz is ultimately determined by insurance companies' risk assessments, which can override military assurances.”