José Eduardo dos Santos has died