Patrick J. Docter (1929-2017)