Was Russian aircraft shot down because its satellite navigation was wrong? (arstechnica.com)