迈阿密国际控股公司执行副总裁出售价值$842,400的股票