GPS信号が世界中で無料で、アメリカの納税者によって年間約20億ドルの資金で賄われていることは全く知りませんでした。