Mandatory overtime settlement between Washington State Labor & Industries and King County June 5, 2018