Does anyone know what this cable is called?

It goes from the forward/reverse lever all the way to the drive belt pulley. It tightens the pulley to engage the drive belt. I can’t seem to find anything like it anywhere. The tractor model is craftsman 917. 289081