David Lebryk, the highest-ranking career official at the U.S. Treasury Department, will be stepping down following a dispute with allies of billionaire Elon Musk, according to a report from the Washington Post.