Obituary: Jose Joaquin Bernal, 85