Miriam Whelan (1917-2002)