Update: White House official asks ‘How many tens of millions of dollars did the American taxpayers have to pay’