Todd Shipyards Corporation, Galveston Division