Receita divulga arrecadação federal de julho nesta terça (25)