“Former SEC Chair Gary Gensler believes Congress should pass laws to prohibit government actors from trading in prediction markets.”