Además es abuelo del Rey actual Julio Pinedo.