Order Taking Note of the Discontinuance of the Proceeding May 18, 2020Document: Order Taking Note of the Discontinuance of the Proceeding