these u.s. coins are now the property of the cuban government in the name of the new cuban revolution , which still believes in the old revolution , which bans all type of private or capitalist property in our great republic headed by our great comandante . ''