Will Trump release medical records before the election?

This market will resolve to "Yes" if Donald Trump publicly releases any previously unreleased medical records between October 13 and November 4, 2024, 11:59 PM ET. Otherwise, this market will resolve to "No". The release must provide details on either his physical or cognitive health and come from a licensed healthcare professional. Any unofficial leaks or unauthorized disclosures will not count. The resolution source will be official information from Donald Trump and his campaign.