Rest in Peace.  John Halpin 1916-2017