A tribute to Dick King