Will Trump nominate someone else for Agriculture Secretary?

This market will resolve to "Yes" if Trump nominates someone other than any of the named candidates in the group for US Secretary of Agriculture by June 30, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". This market will resolve at the time of Trump's nomination, at which point if the nominee is none of the named candidates in the group, it will resolve to "Yes." This market will resolve based on Trump's first nomination for this position - if Trump nominates another person to this position first, this market will immediately resolve to "No". The primary resolution source for this market will be official information from the US government, however a consensus of credible reporting may also be used.