Leaky battleship in Texas set to make trip for $35M repairs