USNS Harvey Milk, ship honoring slain gay rights leader, being renamed USNS Oscar V. Peterson, Hegseth says