Sports | Fri Jan 18, 2013 2:02am IST

Former high jump record holder Thomas dies at 71