O diretor da Royal Caribbean, Arne Wilhelmsen, vende US$ 82,1 milhões em ações