If the minimum temperature recorded at Miami for Jul 17, 2026, is less than 75° fahrenheit according to the National Weather Service's Climatological Report (Daily), then the market resolves to Yes.