The campaign launch Ron DeSantis’s team will want to forget