Navy set to rename USNS Harvey Milk, mulls new names for other ships named for civil rights leaders  CBS News