Gov. DeSantis requests Pine Hills shooter suspect's records