For navigation convenience, Washington, DC, is included as a state