David A. Lebryk, Top-Ranking Treasury Official, steps down after alleged clash with Elon Musk’s DOGE