Diretor da Workday vende US$ 18,7 milhões em ações da empresa