Tony O'Donoghue — Irish athlete and broadcaster (1936–2023)