What are people from Washington dc called?

People that are from Washington D.C. are called Washingtonians. Washington D.C. can be called Washington, DC, as well as the District.