Who could DeSantis pick to replace Rubio in Senate? GOP floats several options, including a Trump