Governor DeSantis joined leaders of Eastern Shipbuilding group as they launched a ship, showing their forward progress after Hurricane Michael.