Trump says he would consider dropping Pence for DeSantis for 2024 election