Более того - авианосцу вообще не обязательно проходить Ормузский пролив, чтобы его самолеты "обеспечивали безопасность судоходства". Американские "хорнеты" и из Оманского залива запросто "перекрывают" все небо над Персидским. Даже без дозаправок в воздухе - хотя и их можно организовать над дружественной (против Ирана) территорией "Халифата".
Так что, вполне возможно - ох и не зря американцы вытащили свои авианосцы в открытое море из "бутылки", пробка от которой в иранских руках...