Kenya: Quarry and mine workers plant trees to honour work victims