The names of several other vessels that honor civil rights leaders and Supreme Court justices might also be changed.