John Nieto 1936-2018