James Walsh — Irish deputy chief medical officer (1923-2018)