Question: Does the port city whose Twitter username is BusanCityGovt have a population equal to 3453198 (the point in time of this statement is 2018)?
Options:
yes
no
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown