CNN: Europe's version of GPS suffers major outage