United States Navy ships classified by the Navy as "repair ships."