Diretor da Texas Instruments vende US$ 1,88 milhão em ações