King County Ferry District will use the funds to purchase a maintenance barge to support passenger-only ferry operations.