government agency that operates automobile and passenger ferry service in the U.S. state of Washington