Do athletes Thomaz Koch and Jack Sock play the same professional sport?