David King 1943-2016: Revolutionary socialist, artist and defender of historical truth