Question: Did Manuel Ramos (Boxer) and Renaud Garcia-Fons have the same nationality?
Sentence (from "Manuel Ramos (boxer)"): Manuel Ramos( November 20, 1942 – June 6, 1999), nicknamed Pulgarcito( Tom Thumb), was a Mexican boxer.
Relevant evidence: Yes