Internacional Manuel Rocha, el diplomático de EE.UU. que también era agente encubierto de Cuba durante 4 décadas