Question: What is the name of the airport in the city where Gaston Eduardo Molina died?
Answer: Tân Sơn Nhất International Airport