var emedlertid , då Florida af republikens trupper togsi