USNS Harvey Milk is renamed after a WWII sailor in the latest Pentagon diversity purge