It happened in Brazil in the 90's, but you can find Charles on the IBJJF certified black belts as a 5th degree

Unfortunately, IBJJF has at times screwed up in their checks before certifying BB:s and are very much non transparent, so it isn't really possible to verify someone's lineage through them. But promotions in Brazil in the 90:s are usually very poorly documented, so I don't set the bar as high there as I usually do, as long as it's someone very established and non contested. So no worries, you're in the clear there!