How many international residetns are there in the city where Jasmine Choi was born?
Jasmine Choi: Jasmine Choi (born 1983, Seoul, South Korea) is a Korean flutist. Seoul:  The Seoul Capital Area houses about half of the country's population of 51.44 million people with 678,102 international residents.
678,102