Diretor da Western Digital Martin Cole vende US$1,58 milhão em ações