NBC: Florida judge dismisses the Trump classified documents case