Donald Thomas, Bahamian high jumper
