GPS is vulnerable to jamming—here’s how we might fix it