A Formação Codó, que se destaca na Bacia de Grajaú, é conhecida por suas características sedimentares e pela ictiofauna que abriga. Essa formação é frequentemente correlacionada com outras formações geológicas do Brasil. Qual é a principal formação com a qual a Formação Codó é correlacionada em termos de ictiofauna?