Strait of Hormuz traffic returns to normal by July 31?