John Gibson (1933-2019)