Harold Cohen 1928-2016