Federal judge finds Mike Lindell defamed Smartmatic with 2020 election claims