Congress should ban government officials from trading on prediction markets