Trump’s National Guard deployment cost taxpayers