Had DOGE really saved up to $55B?