RecodeX 重构消息，Progressive商业险总裁出售价值180万美元股票。