Mario García Jiménez
futbolista español
association football player (1923-1992)