Real Estate Development - Schedule of Real Estate Development Assets (Details) - USD ($) $ in Thousands |
Oct. 31, 2019 |
Jul. 31, 2019 |
Oct. 31, 2018 |
---|---|---|---|
Real Estate Properties [Line Items] | |||
Real estate development assets | $ 17,602 | $ 17,602 | $ 107,162 |
East Area I | |||
Real Estate Properties [Line Items] | |||
Real estate development assets | 0 | 91,357 | |
Retained property - East Area I | |||
Real Estate Properties [Line Items] | |||
Real estate development assets | $ 11,943 | 11,943 | 10,408 |
East Area II | |||
Real Estate Properties [Line Items] | |||
Real estate development assets | $ 5,659 | $ 5,397 |