Gov. Desantis officially launches campaign bid on 5/24/23