How many international residetns are there in the city where Jasmine Choi was born?