Ranch registration

Hello everyone,
I'm from municipio de Tepetongo, a ranch named "Juanchorrey" I wish to know how or where I can verify the origin of a ranch and if there were registrations once the ranch was officially declared. I once found a dictionary that had municipality names and it was down as "Juancho Rey" elders say it came from three brother Juan-francisco (chon)=rey others say there was a cattle herder names Juan who was called Juan el chorreado, none of which can be confirmed.

Hope someone can help
Thank you very much
Leticia Salazar