Peak traffic through the Strait of Hormuz? (10/5 - 10/11) Prediction Markets & Odds