It had been NASA’s top planet-hunting telescope