Paid for by the American taxpayer.