a navigation glitch on nasas mars orbiter maven has stalled its science work