WASHINGTON (AP) — A White House teleprompter operator who was put on unpaid leave after news reports he had used inside knowledge to make bets about President Donald Trump’s speeches on the online prediction market Kalshi is no longer in his post, according to a White House official.

The official, who was not authorized to comment publicly about the personnel matter and spoke on condition of anonymity, said on Tuesday that teleprompter operator, Gabriel Perez, “no longer works in the federal government.” The official would not say whether he resigned or was fired.