his parents were antonio carvajal from a tailors family and teresa campos