White House teleprompter operator ordered to pay $172K for placing prediction market bets on Trump’s speeches