Florida Gov. Ron DeSantis, whose clashes with Disney and aggressive pursuit of conservative victories has made him a leading Republican Party figure, is running for president.