Question: What is the population of the Brazilian City served by the civil airport known Gaudêncio Machado Ramos Airport ?
Answer: 78,984