Em uma empresa, as folgas dos funcionários seguem uma sequência cíclica na seguinte ordem: João, Pedro, Francisco e Henrique. Seguindo essa sequência, qual será o funcionário que receberá a folga no 237º dia?