RIP: Olympic HJ Medalist Thelma Hopkins, 88