USS Texas battleship begins voyage for $35m repairs