Colombia: judicial workers strike after judge's murder