Trey Lance traded