Question: How many international residetns are there in the city where Jasmine Choi was born?
Sentence (from "Seoul"): Seoul ( ; 서울; ] ), officially the Seoul Special Metropolitan City – is the capital and largest metropolis of the Republic of Korea (commonly known as South Korea).
Relevant evidence: No