Cuban revolutionary leader and ex-president Fidel Castro dies