Has GPS ever experienced a major outage in its ~30 years of operation?