Washington, D.C., in World War II