Partido Revolucionario de los Trabajadores es el nombre de los siguientes partidos políticos: