The USS Harvey Milk is just one of six new ships to be named after U.S. "civil rights leaders." Who knows what ships of the future U.S. fleet will be named as it gets ever woker?