Who will run for President of Brazil?

Resolves Yes if Luiz Inácio Lula da Silva is on the official ballot for the next Brazilian Presidential election first round, then the market resolves to Yes.