Trump’s inauguration was expensive, and US taxpayers paid for a big part of it