Hormuz Traffic Odds: Back to Normal by November 30?