Washington, D.C., formally the District of ColumbiaWashington had an estimated population of 681,170 as of July 2016. Commuters from the surrounding Maryland and Virginia suburbs raise the city's population to more than one million during the workweek. The Washington metropolitan area, of which the District is a part, has a population of over 6 million, the sixth-largest metropolitan statistical area in the country.Directly south of the mall, the Tidal Basin features rows of Japanese cherry blossom trees that originated as gifts from the nation of Japan. The Franklin Delano Roosevelt Memorial, George Mason Memorial, Jefferson Memorial, Martin Luther King Jr. Memorial, and the District of Columbia War Memorial are around the Tidal Basin.