El País ombudsman battles the trolls