Senate and Hormuz Odds: How Do the Two Play Out?