Procissão com 20 mil católicos marca encerramento da Festa de Santo Antônio