Judge gives Musk bad news, says Trump hasn't intervened to block SEC lawsuit (arstechnica.com)