Question: Did Ramón Astudillo and Lê Đức Thọ have the same nationality?
Sentence (from "Lê Đức Thọ"): Lê Đức Thọ (14 October 1911 – 13 October 1990), born Phan Đình Khải in Nam Dinh Province, was a Vietnamese revolutionary, general, diplomat, and politician.
Relevant evidence: Yes