NBC: Trump Media sues Brazil Supreme Court judge who battled Elon Musk