Leases - Operating Lease Cost and Additional Lease Information (Details) $ in Thousands	3 Months Ended	9 Months Ended
	Feb. 29, 2020 USD ($)	Feb. 29, 2020 USD ($)
Leases [Abstract]
Operating lease costs	$ 18,000	$ 52,900
Other information related to operating leases
Cash paid for amounts included in the measurement of operating lease liabilities		38,292
Operating lease right-of-use assets obtained in exchange for new operating lease liabilities		$ 33,382
Weighted-average remaining lease term - operating leases	5 years 3 months 3 days	5 years 3 months 3 days
Weighted-average discount rate - operating leases	2.69%	2.69%