GPS is vulnerable to interference, so how can we make navigating at sea safer?