Domaren Marvin har utnämnts till guvernör Florida.