Will shipping traffic in the Strait of Hormuz return to pre-disruption levels by July 31, 2026, as confirmed by Lloyd's List or the International Maritime Organization?