In old documents in Latin, Carolus was used, with appropriate case endings, for Carol, Carl and Charles. Search on Carol* to allow for Latin case endings.