RFB divulga arrecadação federal de outubro nesta segunda (24)