Will Trump rename the Strait of Hormuz after himself? Odds & Predictions 2026