¿Quién iba a ser, en principio, el actor que interpretase a 'Terminator'?