Navy is renaming naval ship named for gay rights leader Harvey Milk and mulling new names for others named for prominent ...