DeSantis’ former baseball coach ‘could not be prouder of him’