uss texas dry dock history