Biographical sketch: F. John Gillingham