Miami or the mountains: Operation Pedro Pan and the children of the Cuban revolution, 1959-1962