Cooperative Water Supply Operations for the Washington Metropolitan Area