With DeSantis out, that makes it official: it’s Trump in 2024.