O que já se sabe sobre a compra de caças para substituir os F-16?