Cash, Cash Equivalents, and Restricted Cash and Cash Equivalents (Tables)

3 Months Ended

Oct. 31, 2019

Cash, Cash Equivalents, Restricted Cash and Restricted Cash Equivalents [Abstract]

Schedule of cash, cash equivalents, and restricted cash and cash equivalents

	October 31, 2019		July 31, 2019
	(in thousands)
Cash and cash equivalents	$	62,183	$	80,168
Restricted cash and cash equivalents		190,218		177,031
Total cash, cash equivalents, and restricted cash and cash equivalents	$	252,401	$	257,199