Question: Are John Austin and Marin Čilić are professional tennis players from different countries?
Sentence (from "Marin Čilić"): His career-high singles ranking is world No. 5, achieved in September 2017.
Relevant evidence: No