White House court filing says Musk is not the official leader of DOGE