VP sênior da Seacor Marine vende US$ 84.942 em ações ordinárias