DOGE Auditing Government is a Good Idea