Trump’s lead over DeSantis shrinks 10 points since late March: poll