What is DOGE? Here’s everything you need to know about the Elon Musk-led effort to cut government spending. February 12, 2025