Will turnout in the first round of the 2026 Costa Rican Presidential Election be at least 72%? | SimpleFunctions