2.5 times the size of Washington, DC