Just call him Mayor Desantis