The Korean Workers' Party: A Short History