Trump would boost military spending, cut arts