Will the Netherlands send warships through the Strait of Hormuz by July 31, 2026?