If Donald Trump publicly endorses Andy Barr in the 2026 Kentucky Senate Republican primary before May 19, 2026, then the market resolves to Yes.