Chesapeake & Ohio Canal, Washington, D.C.