Bellevue ( ) is a city in the Eastside region of King County, Washington, United States, across Lake Washington from Seattle. As the third-largest city in the Seattle metropolitan area, Bellevue has variously been characterized as an edge city, a boomburb, or satellite city. The population was 141,400 in a 2016 census estimate.
Does this next sentence follow, given the preceding text?
In the 2016 census estimate the city had a population of 142,400.
No