about half the size of Washington, DC