In the United States, 25 Hz, a once-common industrial power frequency is used on Amtrak's 25 Hz traction power system at 12 kV on the Northeast Corridor between Washington, D. The Keystone Corridor connects Washington, D.C. and what city