NBC: Trump or DeSantis? Democrats aren't sure who they'd rather see Biden face in 2024