slightly more than 12 times the size of Washington, DC