“Novo GPS” dos EUA custou US$ 8 bilhões em 16 anos, mas não funciona