At some time on July 16th, I will check the relative rankings on https://eloeverything.co/leaderboard and resolve this market. If there are multiple entries for either option, I will consider the most highly ranked one. Because there is some chance that the time I check influences the outcome, I will not bet on this market.