Washington’s ferry system is the biggest in the U.S., but after decades of chronic underfunding, it’s breaking down and short-staffed: a serious problem for the people who depend on it.