Which of the following won 19 Grand Slam single titles as a professional tennis player: Roger Federer or Jonathan Stark?