Zmarł Vaughan F.R. Jones (1952-2020)