Electronic trading platform for derivatives owned by the Miami International Holdings, Inc. (Operating MIC: MIHI)