Stockholders' Equity Dividends (Details)	3 Months Ended
	Jul. 31, 2019 $ / shares
July 2019 dividend payment [Member]
Class of Stock [Line Items]
Dividends Payable, Date Declared, Month and Year	May 23, 2019
Dividends Payable, Date of Record	Jun. 06, 2019
Dividends Payable, Date to be Paid	Jul. 01, 2019
Common Stock, Dividends, Per Share, Declared	$ 0.166
October 2019 dividend payment [Member]
Class of Stock [Line Items]
Dividends Payable, Date Declared, Month and Year	Jul. 25, 2019
Dividends Payable, Date of Record	Sep. 06, 2019
Dividends Payable, Date to be Paid	Oct. 01, 2019
Common Stock, Dividends, Per Share, Declared	$ 0.166