“Even if the US Navy escorts commercial vessels, the volume of traffic through the Strait of Hormuz will be lower than pre-conflict levels.”