Ron DeSantis, the "anti-woke" Florida governor known for his staunch conservative beliefs, is officially running for president.