Retirement and Post-Retirement Benefit Plans - Retirement Incentive Program (Narrative) (Details) - USD ($)	1 Months Ended	12 Months Ended
	Oct. 31, 2019	Oct. 31, 2019
Retirement Benefits [Abstract]
Eligible age with 20 years of service	50 years
EER benefit, minimum		91 days
EER benefit, maximum		364 days
Health care coverage extension period	36 months
Maximum employer credits	$ 12,000