The most obvious federal charge would be felony return after deportation (five counts) which would not involve double jeopardy.
That would be my guess as well. His presence in the country, clearly shown by arrests would likely prove the case.
Option two would be a Federal civil rights case but that might be more work and I’m not sure the penalties would match the first option with five possible charges?