Pilots on board had to use a different navigation system while the plane's GPS was disabled. Source: BBC News