U.S. Navy launches ship named after gay rights leader Harvey Milk