RCW 47.60.277
"No Smoking" areas on state ferries -- Establishment directed.
See RCW
47.56.730
.