Just now, when Elon Musk was the head of D.O.G.E. (Department of Government Efficiency), he said the official mascot would be DOGE