XML 31 R96.htm IDEA: XBRL DOCUMENT v3.20.1
Other Income and Other Operating Expenses - Textual (Details) - USD ($)
$ in Thousands
3 Months Ended
Mar. 31, 2020
Mar. 31, 2019
Other Income and Expenses [Abstract]    
Other income $ 12,801 $ 4,156
Gain on sale of business $ 5,900