Will the Sunshine State be the next to put a state-run auto IRA in place for private-sector employees whose employers do not offer one?