Vance? Rubio? DeSantis? Cruz? Republicans at Dallas convention ponder options for post-Trump leader