How many ships transit the Strait of Hormuz week of May 25? | Polytreasury: Prediction Market Automation