David Jones by Mark Gerson (1965), in the National Portrait Gallery