Public workers who died on the job honored during Worker Memorial Day