President Trump boasted about spending cuts by the Elon Musk-led Department of Government Efficiency during his address to Congress, listing a series of now-canceled programs that he said ...