Leaky battleship in Texas begins trip for $35M repairs